Fearless: Casey Butrico and Melanie Emerson

Casey Butrico (‘16) and Melanie Emerson (‘16) recently started a discussion group called Students for Reproductive Justice. This group is dedicated to the belief that women should control all aspects of their reproduction, including education about and access to safe birth control. They also aim to focus on gynecological care, pre-natal care, and abortion as human rights. These two fearless first-years have made a mission to educate and raise awareness about local and national issues that relate to women’s reproductive autonomy and the legal restrictions threatening it. [excerpt

The On The Fly Imaging Technique

The On-The-Fly (OTF) imaging technique enables single-dish radio telescopes to construct images of small areas of the sky with greater efficiency and accuracy. This paper describes the practical application of the OTF imaging technique. By way of example the implementation of the OTF imaging technique at the NRAO 12 Meter Telescope is described. Specific requirements for data sampling, image formation, and Doppler correction are discussed.Comment: 10 pages, 13 figures, accepted A&

Influence of data type and rate on short arc lunar orbit determination

Error analysis for selecting optimum rates for taking counted doppler rate and range data for tracking short arc of lunar satellite orbi

Coordinate systems for differential correction

System of state transition partial derivatives for which tracking information normal matrix for lunar orbiter is nearly diagonalize

Scalable Noise Estimation with Random Unitary Operators

We describe a scalable stochastic method for the experimental measurement of generalized fidelities characterizing the accuracy of the implementation of a coherent quantum transformation. The method is based on the motion reversal of random unitary operators. In the simplest case our method enables direct estimation of the average gate fidelity. The more general fidelities are characterized by a universal exponential rate of fidelity loss. In all cases the measurable fidelity decrease is directly related to the strength of the noise affecting the implementation -- quantified by the trace of the superoperator describing the non--unitary dynamics. While the scalability of our stochastic protocol makes it most relevant in large Hilbert spaces (when quantum process tomography is infeasible), our method should be immediately useful for evaluating the degree of control that is achievable in any prototype quantum processing device. By varying over different experimental arrangements and error-correction strategies additional information about the noise can be determined.Comment: 8 pages; v2: published version (typos corrected; reference added

Efficient Symmetry Reduction and the Use of State Symmetries for Symbolic Model Checking

One technique to reduce the state-space explosion problem in temporal logic model checking is symmetry reduction. The combination of symmetry reduction and symbolic model checking by using BDDs suffered a long time from the prohibitively large BDD for the orbit relation. Dynamic symmetry reduction calculates representatives of equivalence classes of states dynamically and thus avoids the construction of the orbit relation. In this paper, we present a new efficient model checking algorithm based on dynamic symmetry reduction. Our experiments show that the algorithm is very fast and allows the verification of larger systems. We additionally implemented the use of state symmetries for symbolic symmetry reduction. To our knowledge we are the first who investigated state symmetries in combination with BDD based symbolic model checking

Convergence Conditions for Random Quantum Circuits

Efficient methods for generating pseudo-randomly distributed unitary operators are needed for the practical application of Haar distributed random operators in quantum communication and noise estimation protocols. We develop a theoretical framework for analyzing pseudo-random ensembles generated through a random circuit composition. We prove that the measure over random circuits converges exponentially (with increasing circuit length) to the uniform (Haar) measure on the unitary group and describe how the rate of convergence may be calculated for specific applications.Comment: 4 pages (revtex), comments welcome. v2: reference added, title changed; v3: published version, minor changes, references update

Self Care Among Filipino Immigrants in the United States Who Have Hypertension

Hypertension (HTN) is a leading risk factor in the development of cardiovascular disease (CVD) and stroke—two major causes of mortality and morbidity in the United States (US)—across all racial and ethnic groups, including Filipino immigrants. The results of early and recent studies that explored HTN among Filipinos in the US have consistently revealed a prevalence rate that is highest among Asian Americans. There is also evidence in the literature that indicates this population’s sub-optimal control and management of HTN when compared with other Asian American subgroups. Despite this reported alarming information about HTN for this population, there is a noticeable lack of studies on HTN among Filipinos in the US, especially those that explore the unique factors that might influence how this group experience and manage this chronic illness. The purpose of this study was to explore self-care among Filipino immigrants (n=163) who have HTN, and its relationship to acculturation, acculturative stress, HTN self-efficacy, and patient activation using the Transactional Model of Stress and Coping (TMSC) as a theoretical framework. The study results revealed that HTN self-efficacy (=0.27, t(116)=3.045, p=0.003) and patient activation (=0.21, t(116)=2.292, p=.024) significantly contributed to the regression model that accounted for 29.5% of the variance in HTN self-care for this sample. Further, a test of mediation on the role of patient activation in the relationship between HTN self-care and patient activation was conducted. The results of the bias corrected estimate of the indirect effect revealed that patient activation had a mediating role between HTN self efficacy and HTN self care (B=.15; CI95% = .0356, .3239) for this sample. Findings from this study highlight the importance of addressing HTN self efficacy and patient activation in improving HTN self care that would not only improve individual health outcomes but could also potentially reduce health inequity for this population

Model Checking CTL is Almost Always Inherently Sequential

The model checking problem for CTL is known to be P-complete (Clarke, Emerson, and Sistla (1986), see Schnoebelen (2002)). We consider fragments of CTL obtained by restricting the use of temporal modalities or the use of negations---restrictions already studied for LTL by Sistla and Clarke (1985) and Markey (2004). For all these fragments, except for the trivial case without any temporal operator, we systematically prove model checking to be either inherently sequential (P-complete) or very efficiently parallelizable (LOGCFL-complete). For most fragments, however, model checking for CTL is already P-complete. Hence our results indicate that, in cases where the combined complexity is of relevance, approaching CTL model checking by parallelism cannot be expected to result in any significant speedup. We also completely determine the complexity of the model checking problem for all fragments of the extensions ECTL, CTL+, and ECTL+